| author | Michael Albinus <michael.albinus@gmx.de> | |
| Fri, 22 Jul 2022 11:31:38 +0000 (13:31 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Fri, 22 Jul 2022 11:31:38 +0000 (13:31 +0200) | ||
| commit | 7220a5a09a1b881454816accd05d2297b1bc13ec | |
| tree | b442d1118ac7963821c08c9c8891f880fdc5d336 | tree | snapshot |
| parent | 8434396fa362c6644ff23e1f48acace7b85ffe8f | commit | diff |
| etc/NEWS | diff | blob | history |